This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue readingThis volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
Continue reading